Understanding SW Test Libraries (STL) for safety-related integrated circuits and the value of white-box SIL2(3) – ASILB(D) YOGITECH faultRobust STL
نویسنده
چکیده
.................................................................................................................................................. 3 About SW Test Library (STL) .................................................................................................................... 3 Requirements of IEC 61508 and ISO 26262 for STL ................................................................................ 3 About black-box SW Test Libraries: the ARM Cortex-M3 example ........................................................ 3 About YOGITECH faultRobust Methodology (fRMethodology) .............................................................. 4 Using fRMethodology to specify, implement and verify STL .................................................................. 5 Key features of YOGITECH faultRobust STL (fRSTL) ................................................................................ 6 Using YOGITECH fRSTL in single, dual MCU or multi-cores .................................................................... 7 Summary ................................................................................................................................................. 8 Availability of YOGITECH faultRobust STL products ................................................................................ 8 References .............................................................................................................................................. 8 Glossary ................................................................................................................................................... 8 About YOGITECH ..................................................................................................................................... 9
منابع مشابه
Programmatic Testing of the Standard Template Library Containers
This paper describes part of an STL conformance test suite currently under development. Test suites for all of the STL containers have been written, demonstrating the feasibility of thorough and highly automated testing of industrial component libraries. We describe affordable test suites that provide good code and boundary value coverage, including the thousands of cases that naturally occur f...
متن کاملFall-12: Using C++11 to teach Concurrency and Parallelism Concepts
In our current undergraduate curriculum, the Operating Systems (OS) course provides in-depth understanding of concepts related to concurrency and parallelism. Typically, the laboratory exercises and programming projects in this course are performed in C-language under Linux, an OS that is unfamiliar to many students. Most of the students primarily have only Java experience under WindowsTM. Cons...
متن کاملSacrotuberous Ligament Healing following Surgical Division during Transgluteal Pudendal Nerve Decompression: A 3-Tesla MR Neurography Study
Pelvic pain due to chronic pudendal nerve (PN) compression, when treated surgically, is approached with a transgluteal division of the sacrotuberous ligament (STL). Controversy exists as to whether the STL heals spontaneously or requires grafting. Therefore, the aim of this study was to determine how surgically divided and unrepaired STL heal. A retrospective evaluation of 10 patients who had h...
متن کاملMaster’s Thesis Code Generation for VSTL
This thesis describes VSTL, a visual editor for STL (Standard Template Library), and its code generation process. The VSTL tool combines the technology of component programming and visual programming to provide a visual cross-platform software development environment. The concepts of component programming and visual programming are introduced, the related parts of STL are explained, and the rea...
متن کاملComparing the Effects of Rosemary Extract and Treadmill Exercise on the Hippocampal Function and Antioxidant Capacity in Old Rats
Background: A sequence of time-dependent changes can affect the brainchr('39')s functional capacity. Aims: This study aimed at investigating the effects of forced aerobic exercise (FAE) versus the rosemary extract (RE) on the learning abilities and oxidative stress modulation in rats. Methods: Young and old rats received daily FAE and RE for 3 months. Using the passive avoidance (PA) test, we...
متن کامل